Using design patterns for a compiler modeling for posing disjunctive optimization programs

In this article, the use of software design patterns for modeling the stages of a compiler is presented. The compiler is generated for expressing disjunctions and logic propositions into optimization mathematical programs. It works linked to a mathematical modeling system, because the introduction of logic into those programs completes them instead of replacing them. It works as a post-compilation step of the mathematical language compiler. The language for disjunctions and logic propositions is based on the proposal of Vecchietti and Grossmann (2000). In order to accomplish the objectives: independence of the mathematical system, flexibility for introducing changes and easy to maintain; several software design patterns are used such as: Visitor, Composite, State and Adapter. The compiler is now linked to the mathematical program system GAMS. Several test are performed to check its behavior. In the future some other mathematical systems will be used to link the compiler.